sequence axiom

正合序列公理